The adjoint functor theorem and the Yoneda embedding
نویسندگان
چکیده
منابع مشابه
Normalization and the Yoneda Embedding
Received We show how to solve the word problem for simply typed-calculus by using a few well-known facts about categories of presheaves and the Yoneda embedding. The formal setting for these results is P-category theory, a version of ordinary category theory where each hom-set is equipped with a partial equivalence relation. The part of P-category theory we develop here is constructive and thus...
متن کاملObjects, Interference, and the Yoneda Embedding
We present a new semantics for Algol-like languages that combines methods from two prior lines of development: the object-based approach of 28,29], where the meaning of an imperative program is described in terms of sequences of observable actions, and the functor-category approach initiated by Reynolds 31], where the varying nature of the run-time stack is explained using functors from a categ...
متن کاملContinuity is an Adjoint Functor
1. INTRODUCTION. The emergence of category theory, introduced by S. Eilen-berg and S. Mac Lane in the 1940s (cf. [2]), was among the most important mathematical developments of the twentieth century. The profound impact of the theory continues to this day, and categorical methods are currently used, for example, in algebra, geometry, topology, mathematical physics, logic, and theoretical comput...
متن کاملthe relationship between learners critical thinking ability and their performance in the reading sections of the tofel and ielts test
the study reflected in this thesis aims at finding out relationships between critical thinking (ct), and the reading sections of tofel and ielts tests. the study tries to find any relationships between the ct ability of students and their performance on reading tests of tofel and academic ielts. however, no research has ever been conducted to investigate the relationship between ct and the read...
15 صفحه اولthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 1971
ISSN: 0019-2082
DOI: 10.1215/ijm/1256052605